Propositional representation

Results: 17



#Item
1Graph theory / Diagrams / Knowledge representation / Logic / Charles Sanders Peirce / Conceptual graph / Existential graph / Graph / First-order logic / Null graph / Propositional calculus / Diagrammatic reasoning

Contents 1 Formal Logic with Conceptual Graphs Frithjof Dau 1.1 Introduction . . . . . . . . . . . . . . . . . . . . . 1.2 Short Introduction to Conceptual Graphs . . . . .

Add to Reading List

Source URL: www.dr-dau.net

Language: English - Date: 2016-06-19 12:17:42
2Computing / Artificial intelligence / Cognitive architecture / SNePS / Software / Aggregation / Node / Rope / Semantic network

Generating Natural Language Aggregations Using a Propositional Representation of Sets Susan Haller1 , Barbara Di Eugenio2 , and Michael Trolio2 1 Computer Science Department University of Wisconsin–Parkside

Add to Reading List

Source URL: nlp.cs.uic.edu

Language: English - Date: 2013-03-02 15:00:28
3Propositions / Logic / Mental content / Propositional representation / Object Process Methodology

January 11, :40 Proceedings Trim Size: 9in x 6in

Add to Reading List

Source URL: www.stefanfrank.info

Language: English - Date: 2012-03-11 05:07:57
4Knowledge representation / Fuzzy logic / Predicate / Predicate logic / Propositional calculus / Tree / Reference / C / Static single assignment form / Logic / Mathematical logic / Computing

CFPS 97 (Call for Papers Submission number 97) Type safety in an extensible data model Submitted by: Smith, Richard

Add to Reading List

Source URL: fhiso.org

Language: English - Date: 2014-03-15 13:40:36
5Mental content / Mental processes / Ontology / Cognitive science / Alief / Belief / Mental representation / Propositional attitude / Proposition / Philosophy of mind / Mind / Philosophy

AGAINST ALIEF Penultimate Draft (forthcoming in Philosophical Studies) Abstract This essay attempts to clarify the nature and structure of aliefs. First I distinguish between a robust notion of aliefs and a deflated one.

Add to Reading List

Source URL: people.fas.harvard.edu

Language: English - Date: 2012-11-15 22:28:39
6Non-classical logic / Propositional calculus / Knowledge representation / Logical syntax / Default logic / Autoepistemic logic / Circumscription / Non-monotonic logic / Well-formed formula / Logic / Mathematical logic / Logic programming

PDF Document

Add to Reading List

Source URL: zeszyty-naukowe.wwsi.edu.pl

Language: English - Date: 2014-12-22 08:14:41
7Philosophical logic / Non-classical logic / Propositional calculus / Knowledge representation / Entailment / Modal logic / Textual entailment / WordNet / Verb / Logic / Science / Logical consequence

Large-Scale Verb Entailment Acquisition from the Web Chikara Hashimoto∗ Kentaro Torisawa† Kow Kuroda‡ Stijn De Saeger§ Masaki Murata¶ Jun’ichi Kazama National Institute of Information and Communications Techno

Add to Reading List

Source URL: www.aclweb.org

Language: English - Date: 2010-06-14 16:57:08
8Conditionals / Philosophical logic / Propositional calculus / Semantics / Binary operations / Material conditional / Expressivism / Conditional sentence / Discourse representation theory / Logic / Philosophy / Analytic philosophy

Edgington on Compounds of Conditionals MAX KÖLBEL Dorothy Edgington[removed]has long defended the view that conditionals do not have truth conditions. This view, like other views on conditionals, owes an explanation of t

Add to Reading List

Source URL: www.ub.edu

Language: English - Date: 2010-01-13 06:50:49
9Model theory / Query languages / Predicate logic / Propositional calculus / Philosophy of language / Datalog / Logic programming / FO / First-order logic / Logic / Mathematical logic / Mathematics

P,P Why Some Reasoning Problems are More Tractable Than Others Markus Krötzsch Technische Universität Dresden, Germany Abstract. Knowledge representation and reasoning leads to a wide range of

Add to Reading List

Source URL: korrekt.org

Language: English - Date: 2014-09-19 04:24:27
10Machine learning / Educational psychology / Learning / Cybernetics / Intelligent agent / Reinforcement learning / Propositional representation / Q-learning / Supervised learning / Science / Education / Artificial intelligence

Learning in Worlds with Objects Leslie Pack Kaelbling, Tim Oates, Natalia Hernandez and Sarah Finney Arti cial Intelligence Laboratory Massachusetts Institute of Technology Cambridge, MA 02139

Add to Reading List

Source URL: people.csail.mit.edu

Language: English - Date: 2004-07-01 07:47:48
UPDATE